-- Diese Testdatei demonstriert Fehler in der Funktionsdefinition
-- Defect Parameter Type
DEF blubb(X:nas):bool 	== true

